🏗️ Constructive Logic - matmat · Scour

Let Lambda Come Over

yamlscript.org·16h

⬆️Lambda Lifting

Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference

arxiv.org·2d

📏Linear Logic

I Built a Programming Language Where think Is a Keyword

dev.to·3h·

Discuss: DEV

🔗Concatenative Programming

Railway Oriented Programming

fsharpforfunandprofit.com·1d·

Discuss: Hacker News

🐚Shell Monads

Differential Logic • 1

inquiryintoinquiry.com·2d

📏Linear Logic

Pratt Parsers: Expression Parsing Made Easy

journal.stuffwithstuff.com·3h

📝Concrete Syntax

Logic for Programmers New Release and Next Steps

buttondown.com·3d

⚙️Proof Engineering

Build a Compiler in Five Projects

kmicinski.com·11h

Rebuilding the spellchecker

zverok.space·2h

🌲Parse Trees

Memory-Safe Jule language emerges as C/C++ alternative

thenewstack.io·5h

🦀Rust Macros

Agentic Proof-Oriented Programming

risemsr.github.io·2d·

Discuss: Lobsters, Hacker News

⚔️Lean Tactics

en.wikipedia.org·1d·

Discuss: Hacker News

🧮Algebraic Datatypes

DCP-o-matic • Re: CPL as compositions and multiple CPLs

dcpomatic.com·11h

✅CDDL Validation

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set

arxiv.org·1d

🦀Rust Verification

surfingcomplexity.blog·51m

⚡Incremental Computation

Python’s Truthiness: A Code Smell Worth Sniffing

owl.billpg.com·1d·

Discuss: Hacker News

🧪Binary Fuzzing

10-Part Series on Breadth-First Traversals in Haskell

doisinkidney.com·1d·

Discuss: Hacker News

🔗Functional Compilers

Categorical systems theory

danmackinlay.name·3d

🔀Category Theory

Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture

jonmsterling.com·6h·

Discuss: Hacker News

⚡Incremental Computation

Sampling the Oxford CS Library

blog.computationalcomplexity.org·3d·

Discuss: blog.computationalcomplexity.org

⛏️Proof Mining

Loading more...